Proj: 1+1=2の証明(Lean 4)を理解する
1+1=2の証明
どうして1+1=2なの？ペアノの公理に従ってLeanで説明しよう - YouTube